$\forall$$p$:FinProbSpace, $n$:$\mathbb{N}$, $X$:RandomVariable($p$;$n$).
\\[0ex]0 $\leq$ $X$ $\Rightarrow$ ($\forall$$e$:$\mathbb{Q}$. 0 $<$ $e$ $\Rightarrow$ E($n$;$e$ $\leq$ $X$) $\leq$ (E($n$;$X$)/$e$))